Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
231	Contention Management in Dynamic Software Transactional Memory – Errata∗ William N. Scherer III and Michael L. Scott Department of Computer Science University of Rochester Rochester, NY[removed] Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2005-04-04 22:13:28 Data management Concurrency Programming language implementation Software transactional memory Lock Thread Benchmark Concurrency control Transaction processing Computing
232	Nonblocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory M ultiprocessorsl Maged M. ~ i c h a e l and Michael L. Scott Department of Computer Science, University of Rochester, Rochester, New Y Add to Reading List Source URL: www.cs.rochester.edu Language: English* - Date: 2004-06-20 01:33:17 Data management Concurrency Compare-and-swap Mutual exclusion Non-blocking algorithm Linked list Queue Ticket lock Stack Concurrency control Abstract data types Computing
233	Contention Management in Dynamic Software Transactional Memory∗ William N. Scherer III and Michael L. Scott Department of Computer Science University of Rochester Rochester, NY[removed] Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2004-06-13 22:12:07 Data management Data Software transactional memory Lock Linearizability Java EE Connector Architecture Non-blocking algorithm Deadlock Concurrency control Transaction processing Computing
234	Sequential Specification of Transactional Memory Semantics ∗ Michael L. Scott Department of Computer Science University of Rochester [removed] Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2014-05-11 18:37:15 Data Computing Software transactional memory Linearizability Schedule Transactional memory Database transaction Extensible Storage Engine Parallel computing Transaction processing Concurrency control Data management
235	Tech. Rep. 429, Computer Science Dept., Univ. of Rochester. Fast, Contention-Free Combining Tree Barriers Michael L. Scott Computer Science Department Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-27 18:33:42 Binary trees Graph theory Parallel computing Tree traversal Barrier Mutual exclusion Tree T-tree Busy waiting Computing Concurrency control Computer programming
236	Static Deadlock Detection for Java Libraries Amy Williams, William Thies, and Michael D. Ernst Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA[removed]USA {amy,th Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-05-12 23:00:24 Software engineering Lock Deadlock Non-blocking algorithm Thread Java Parallel computing Computing Concurrency control Computer programming
237	Static Deadlock Detection for Java Libraries Amy Williams, William Thies, and Michael D. Ernst Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA[removed]USA {amy,th Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-05-31 13:35:36 Software engineering Lock Deadlock Non-blocking algorithm Thread Java Parallel computing Computing Concurrency control Computer programming
238	Static Deadlock Detection for Java Libraries Amy Williams, William Thies, and Michael D. Ernst Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA[removed]USA {amy,th Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2005-05-12 23:00:24 Software engineering Lock Deadlock Non-blocking algorithm Thread Java Parallel computing Computing Concurrency control Computer programming
239	A Qualitative Survey of Modern Software Transactional Memory Systems∗ Virendra J. Marathe and Michael L. Scott TR 839 Department of Computer Science University of Rochester Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2006-02-15 12:33:25 Computing Data Software transactional memory Transactional memory Linearizability Non-blocking algorithm Lock Extensible Storage Engine Load-link/store-conditional Concurrency control Transaction processing Data management
240	Privatization Techniques for Software Transactional Memory∗ Michael F. Spear, Virendra J. Marathe, Luke Dalessandro, and Michael L. Scott Technical Report #915 Department of Computer Science, University of Rochester {s Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2007-03-21 14:13:10 Data Information Databases Programming language implementation Software transactional memory Linearizability Serializability Database transaction Isolation Transaction processing Data management Concurrency control

UPDATE